“韦神”韦东奕，开账号
有媒体记者从韦东奕堂哥处了解到，该账号并非假冒，确实是韦东奕本人的账号，系家人协助申请的。韦东奕堂哥表示，后续该账号将分享数学相关内容，让韦东奕与外界有更多接触。
陶哲轩
北大“韦神”突然开号！粉丝数量超30万，堂哥证实：会用来做数学分享
有媒体记者从韦东奕堂哥处了解到，该账号并非假冒，确实是韦东奕本人的账号，系家人协助申请的。韦东奕堂哥表示，后续该账号将分享数学相关内容，让韦东奕与外界有更多接触。
北大“韦神”，开账号了
有媒体记者从韦东奕堂哥处了解到，该账号并非假冒，确实是韦东奕本人的账号，系家人协助申请的。韦东奕堂哥表示，后续该账号将分享数学相关内容，让韦东奕与外界有更多接触。
陶哲轩：一个月三破18年未解难题！AlphaEvolve改写数学研究规则
一项封尘18年的数学难题，在短短30天内被AlphaEvolve与人类联手三度突破！和差集指数θ从1.173050提升至1.173077，刷新了加法组合学的天花板。这场「人机共舞」不仅震撼数学界，更预示着科学发现的新纪元。
研究 数学 陶哲轩 alphaevolve 差集 2025-06-05 18:46 8
华人数学博士后反超DeepMind AI，停滞18年数学问题月内3次突破
DeepMind于5月14日宣布AlphaEvolve，不仅改进了矩阵乘法算法，还取得一系列成果，打破集合和差问题（Sums and differences of sets problem）自2007年来的纪录也是其中之一。
陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出
在YouTube上，他开设了账号，上传了4段视频：如何用Lean形式化数学证明。
陶哲轩：感谢Lean，我又重写了20年前经典教材！
昨天，他还在惊叹于谷歌 DeepMind AlphaEvolve 对解决人类数学问题（比如和差集问题）起到的加速作用。更早的时候，他还开通了油管账号，当起了视频博主。
破18年数学纪录！陶哲轩惊叹：AlphaEvolve带来久违「加速度」
人类数学家与AlphaEvolve携手，一周内两次刷新18年未破的数学纪录！展现AI与人类协作的惊人潜力。AI如侦察兵广度扫描，人类专家深度优化，双引擎驱动下，科学前沿正在加速推进！
数学 陶哲轩 组合学 alphaevolve 差集 2025-06-01 16:52 7
一周两破18年数学纪录！陶哲轩惊叹：AlphaEvolve带来久违加速度
人类数学家与AlphaEvolve携手，一周内两次刷新18年未破的数学纪录！展现AI与人类协作的惊人潜力。AI如侦察兵广度扫描，人类专家深度优化，双引擎驱动下，科学前沿正在加速推进！
数学 陶哲轩 组合学 alphaevolve 差集 2025-06-01 09:23 10
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
不仅如此，资源库中还提供了各种代码函数，以方便用户对自然语言的数学猜想进行形式化的表述。
特朗普狠砍科研经费，华裔数学天才陶哲轩发声：很缺钱
若将这一数字换算成实际购买力，如今的基础科研经费甚至无法支撑研究者完成一封普通邮件的邮寄成本。这位数学界的“莫扎特”坦言，自己正自掏腰包推进AI与数学结合的实验项目，而更多需要长期投入的研究已陷入停滞。
【羽翼课堂教育早报】2025.05.28
一、【行业动态】1、教育部部署开展基础教育规范管理提升年行动http://www.moe.gov.cn/jyb_xwfb/gzdt_gzdt/s5987/202505/t20250527_1192066.html2、继模拟选志愿后，夸克又上线“高考深度搜索”h
形式化证明与大模型：共创可验证的AI数学未来｜量子位直播
就在5月，前有DeepSeek Prover V2发布，后有陶哲轩的AI数学直播，还有谷歌最新发布的AlphaEvolve。
庞加莱、希尔伯特、格罗滕迪克和陶哲轩，谁对数学领域贡献最大？
在数学发展史上，亨利·庞加莱、大卫·希尔伯特、亚历山大·格罗滕迪克和陶哲轩这四位跨越三个世纪的数学巨人，各自以其独特的方式推动了人类数学思维的边界。要评判他们对数学领域的贡献大小，就如同比较四座形态各异的巅峰——庞加莱的多产与直觉，希尔伯特的深刻与远见，格罗滕
陶哲轩的一场“灾难级考试”，把他从天才变为，真正的数学家
1993年，普林斯顿，博士生资格考试，口试，三位教授当场提问。陶哲轩，读了一年研究生，抱着侥幸心态上场，结果险些被刷下。
DeepMind推出超级编程智能体，简练输入完成复杂任务
AlphaEvolve结合大语言模型[2]和进化算法[3]，只需用户明确问题、代码框架以及评估方法就可以自行迭代进化出符合要求的完整代码，帮助完成矩阵算法优化以及推进开放数学问题（陶哲轩等选取的从数论到几何等多领域的数学问题）等复杂任务[1]。
突破300年数学难题！陶哲轩出题
谷歌DeepMind重磅推出AlphaEvolve，最强通用AI智能体横扫数学难题！它不仅推动了300年「接吻数难题」，一举颠覆了56年前Strassen算法神话。而且，还在AI训推、TPU设计、数据中心领域，展现出了极强的实力。
gemini 数学 陶哲轩 矩阵乘法 alphaevolve 2025-05-16 19:57 13
突破300年数学难题！陶哲轩出题，DeepMind通用科学AI智能体一夜屠龙
网友表示，这一改进代表了Gemini对TPU算术电路的首次直接贡献目前，它已经被集成到了谷歌即将推出的TPU中。通过在芯片设计师的标准语言中提出修改建议，AlphaEvolve架起了AI和硬件工程师之间桥梁，加速未来专用芯片的设计。内核加速23%，优化时间缩短
智能体 ai智能体 陶哲轩 deepm deepmind通用 2025-05-16 07:52 11
突破300年数学难题！陶哲轩用DeepMind通用科学AI智能体一夜屠龙
谷歌DeepMind重磅推出AlphaEvolve，最强通用AI智能体横扫数学难题！它不仅推动了300年「接吻数难题」，一举颠覆了56年前Strassen算法神话。而且，还在AI训推、TPU设计、数据中心领域，展现出了极强的实力。
Borg调度进化了！谷歌超强AI Agent 登场：能设计算法、提效系统，陶哲轩亲自助攻，网友封神理科扛把子！
谷歌 DeepMind 又放出了大招——历时一年半钻研的 AlphaEvolve 终于亮相了。这个由 Gemini 驱动的 AI 智能体，简直就是个会自我进化的“解题机器”。